(0 16 3)(1 17 13)(2 8 5)(4 14 7)(6 11 10)(9 15 12)
ALLOWS (11/8)-SEQUENCE
1: (6 11 15)

(0 16 3)(1 17 13)(2 8 5)(4 14 7)(6 12 9 15 10)(11)
2: (4 14 7)

(0 16 3)(1 17 13)(2 8 5)(4)(6 12 9 15 10)(7)(11)(14)
3: (6 12 10)

(0 16 3)(1 17 13)(2 8 5)(4)(6)(7)(9 15 10)(11)(12)(14)
4: (2 8 5)

(0 16 3)(1 17 13)(2)(4)(5)(6)(7)(8)(9 15 10)(11)(12)(14)